AbMon{i}  AbMon{[i | j]} 

latex

Up	groups 1
Definitions of Statement	Mon, AbMon
Definitions	P & Q, Mon, t  T, x:A. B(x), AbMon, S  T,
Lemmas	abmonoid wf, comm wf, grp eq wf, eqfun p wf, grp id wf, grp op wf, grp car wf, monoid p wf, grp sig inc